SWIFLER: Software Implemented Control Flow Error Injection
نویسنده
چکیده
--Due to the overall increase in computer performance software-implemented fault injection (SWIFI) techniques are becoming increasingly attractive. Not only the easyness of use but also the quality of the injected faults contribute to the successful application of SWIFI based tools in the field. SWIFLER is a tool for UNIX systems for sofware-implemented injection of control flow errors. Its purpose is the evaluation of the fault coverage of software fault detection and fault tolerance mechanisms. This is achieved by the injection of control flow errors into running UNIX processes. It provides for theThe features include the location of the injected error, its deviation and timing , the collection of the exit codes of the manipulated process as well as the verification of the produced outputs. Index Terms ---Control Flow Error, fault injection, fault coverage, software implemented
منابع مشابه
Control Flow Checking or Not? (for Soft Errors)
Control Flow Checking (CFC) techniques were proposed to provide efficient protection from soft errors. The main idea is that most soft errors will eventually manifest as errors in the sequence of instruction execution. Therefore, just by making sure that the sequence of instructions executed (or the control flow of the program) is correct, then significant protection can be achieved. Note that ...
متن کاملComparing Fail-Sailence Provided by Process Duplication versus Internal Error Detection for DHCP Server
This paper uses fault injection to compare the ability of two fault-tolerant software architectures to protect an application from faults. These two architectures are Voltan, which uses process duplication, and Chameleon ARMORs, which use self-checking. The target application is a Dynamic Host Configuration Protocol (DHCP) server, a widely used application for managing IP addresses. NFTAPE, a s...
متن کاملA Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller
The paper presents the design and implementation of a dependability framework for the call-processing environment in a digital mobile telephone network controller. The target environment includes a database subsystem containing configuration parameters and resource usage status, and call-processing clients for managing individual calls. This environment presents some unique challenges, since a ...
متن کاملFlayer: Exposing Application Internals
Flayer is a tool for dynamically exposing application innards for security testing and analysis. It is implemented on the dynamic binary instrumentation framework Valgrind [17] and its memory error detection plugin, Memcheck [21]. This paper focuses on the implementation of Flayer, its supporting libraries, and their application to software security. Flayer provides tainted, or marked, data flo...
متن کاملControl-flow checking by software signatures
This paper presents a new signature monitoring technique, CFCSS (Control Flow Checking by Software Signatures); CFCSS is a pure software method that checks the control flow of a program using assigned signatures. An algorithm assigns a unique signature to each node in the program graph and adds instructions for error detection. Signatures are embedded in the program during compilation time usin...
متن کامل